The development of OCPL, object conceptual prototyping language

نویسندگان

  • Anne E. James
  • Steve D. E. Shipley
چکیده

This paper describes the development of OCPL (object conceptual prototyping language), an object±knowledge representation language. The language is based on CPL, conceptual prototyping language, developed at the Free University of Amsterdam. CPL has been extended to allow for the explicit representation of object-oriented constructs. These constructs include facilities for application system de®nition, generation and usage. A restricted use of the constraint model of CPL allows for systematic representation of events from which appropriate user interfaces can be generated. The paper describes OCPL and its relationship to CPL and related work. It also illustrates how the constraint model can be used to represent dynamics and provide intelligent user support. q 2000 Elsevier Science B.V. All rights reserved.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Robust and Compositional Verification of Object Capability Pa erns

In scenarios such as web programming, where code is linked together from multiple sources, object capability patterns (OCPs) provide an essential safeguard, enabling programmers to protect the private state of their objects from corruption by unknown and untrusted code. However, the bene ts of OCPs in terms of program veri cation have never been properly formalized. In this paper, building on t...

متن کامل

Object and Action Naming: A Study on Persian-Speaking Children

Objectives: Nouns and verbs are the central conceptual linguistic units of language acquisition in all human languages. While the noun-bias hypothesis claims that nouns have a privilege in children’s lexical development across languages, studies on Mandarin and Korean and other languages have challenged this view. More recent cross-linguistic naming studies on children in German, Turkish,...

متن کامل

An Executable Visual Formalism for Object

Conceptual modeling aims at establishing the conceptual knowledge necessary for proper communication between a development team and users. This paper presents an executable visual formalism for object-oriented conceptual modeling of information systems. This formalism is an integration of the Entity-Relationship approach, Petri nets, relational calculus, and time temporal logic. It supports int...

متن کامل

From Embodiment to Metaphor: A Study on Social Cognitive Development and Conceptual Metaphor in Persian-Speaking Children

This study explores the metaphoric comprehension of normal Persian-speaking children, as well as theories of cognitive development and cultural and social impacts. The researchers discuss the improvement of the understanding of ontological conceptual metaphors through age growth and cognitive development, and how it helps to expand children’s thoughts and knowledge of the world. In this study, ...

متن کامل

A Cognitive Study of Conceptual Metaphors in English and Persian: Universal or Culture-Specific?

In the last 2 decades, studies on conceptual metaphors have profoundly increased. The development in this field was followed by Lakoff and Johnson's (1980b) work on describing the conceptual role played by metaphors and their correspondence with language and thought. This study aimed to compare conceptual metaphors in Persian and English through a corpus-based approach as well as examining both...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Information & Software Technology

دوره 42  شماره 

صفحات  -

تاریخ انتشار 2000